一种面向Agent的概念化建模方法*

面向Agent的建模方法为基于Agent系统的概念化描述提供了一种新的技术.针对多Agent系统分析与建模问题,扩展并规范了面向Agent概念化建模过程,定义了Agent模型及其扩展模型,并给出了形式化描述.同时,给出面向Agent的分析和设计过程,为其具体建模提供了一种高层指导.最后,与其它现有面向Agent的方法在应用方面进行了类比分析,为该方法的广泛和深入地应用研究打下基础.     

基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

空化射流实验研究

空化水射流技术是将空化作用引入到高压水射流而形成的一种新型高压水射流技术，在同等条件下，空化射流相对于普通高压水射流具有破碎和切割能力更高的特点。通过数值模拟和实验方法对空化技术进行研究，进行了喷嘴流场的数值模拟计算，设计了空化射流实验装置及空化喷嘴。以生锈铁板为研究对象，分别进行了喷嘴型号、打击时间、入口压力、靶距和扩散段长度的空化射流打击效果对比实验，研究了空化参数对空化效果的影响。实验结果表明角形喷嘴进行淹没射流的空化效果较好，空化射流除锈具有最优打击时间。不同的入口压力对应不同的最佳靶距。     

符号检验在空战对抗仿真试验数据分析中的应用

针对如何提高仿真试验数据分析的科学性和可靠性,增强仿真工作者试验设计和统计分析的能力,首先简要介绍了符号检验法的基本原理、使用方法和使用策略.再以两型装备开展作战效能对比评估为背景,借助某型战术空战仿真系统,设计和进行了人在回路战术空战仿真试验,通过对仿真试验数据的分析,探讨了符号检验法的适用条件、应用方法和特点.最后通过算例证明,符号检验法是一种有效的对比型仿真试验数据的分析方法,具有较强的实用性和有效性.     

E级超级计算机故障预测的数据采集方法

面向未来E级超级计算机,提出用于故障预测的数据采集框架,能够全面采集与计算结点故障相关的状态数据。采用自适应多层分组数据汇集方法,有效解决随着系统规模增长数据汇集过程开销过大的问题。在TH-1A超级计算机上的实现和测试表明,该数据采集框架具有开销小、扩展性好的优点,能够满足未来大规模系统故障预测数据采集的需求。     

磁流变液的摩擦与润滑

采用四球摩擦磨损试验机考察了羰基铁-矿物油体系磁流变液和基础油摩擦系数随时间的变化曲线、磨斑直径,用扫描电镜观察了磨痕表面形貌.结果表明,与基础油相比,磁流变液的摩擦加剧,润滑性能降低,磁性颗粒是导致其润滑性能下降的首要原因;摩擦磨损机理主要是磨粒磨损,表现为犁沟效应.     

双基地雷达在抗反辐射武器系统中的应用分析

针对当前雷达系统受反辐射武器系统的威胁越来越严重的问题,分析了双基地雷达在现代防御体系中抗反辐射武器系统的优势及主要技术,并提出了采用合理布置双基地雷达收发基地对ARM加以对抗的措施.通过模拟计算得出收发基地经过合理布置后的双基地雷达,受ARM的杀伤概率会降至0.13,这充分说明了双基地雷达在未来军事斗争中有着显而易见的作用及可观的发展前景.     

多弹作战中的任务重分配方法

突现任务重分配是具备了飞行中改变攻击目标能力的巡航导弹在作战中需要解决的重要问题。通过分析可控巡航导弹的特点及此类导弹在飞行中可能出现的突现任务类型,借鉴战斧巡航导弹的作战样式,建立了出现突现任务后的任务执行过程;提出了候选导弹、重瞄导弹的确定方法,并建立了各自的任务执行子模块;利用这些子模块,从一个新角度提出了基于逻辑判断的突现任务分配方法,可为可控巡航导弹的突现任务重分配系统设计提供参考。     

脊状表面近壁区湍流度分布规律

通过对不同风速下,不同形状、尺寸脊状表面及光滑平板表面边界层内湍流度的测试,对比分析了脊状表面近壁区湍流度的分布规律。试验在小型直流风洞中开展,流场测试中使用恒温式IFA 300智能型流动分析仪,测试模型则采用有机玻璃及铝两种材质的平板模型。在脊状表面理论零点及壁面摩擦速度的计算中,采用了基于紊流边界层对数律区流速分布公式同时计算壁面理论零点和壁面摩擦速度的改进方法。最终测试结果表明:脊状表面边界层过渡区和对数律区内湍流度与平板相比显著下降,最大降幅超过10%,证明脊状结构的存在有效减弱了壁面近壁区内"猝发现象"的发生。     

多轴向织物层合板层间剪切强度有限元分析与实验研究

用VIMP工艺制备了UD、0/45/-45、0/45/90/-45三种多轴向织物增强,四种厚度的GFRP层合板试样,采用短梁剪切实验考察了层间剪切强度和破坏模式。建立了GFRP层合板短梁剪切试样有限元模型,计算了内部层间剪应力分布。结合计算和实验结果分析表明层合板存在由宽度方向层间剪应力变化导致的自由边缘效应,含偏轴铺层的层合板更容易发生边缘开裂破坏。厚度相同时0/45/-45多轴向织物增强层合板的层间剪切强度最高。短梁剪切强度测试存在尺寸效应,随着厚度的增加,强度下降,样品波动系数增大。